Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
761	The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2008-10-27 16:48:35 Philosophers of mathematics Analytic philosophers Mathematical logic Epistemology Foundations of mathematics Paul Benacerraf Intuitionism Gottlob Frege Logicism Mathematics Philosophy Philosophy of mathematics
762	Procrastination in probabilistic logic Benja Fallenstein Background: Reflection in probabilistic logic Christiano et al. [?] have proposed a way of working around Tarski’s undefinability of truth by assigning probabili Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:38:20 Peano axioms Logic Philosophy of mathematics Mathematics Logic in computer science Mathematical logic
763	2D Dictionary Matching in Small Space Add to Reading List Source URL: schatzlab.cshl.edu Language: English - Date: 2013-02-22 20:24:56 Pattern matching Mathematics Applied mathematics Logic String matching algorithms Graphics file formats Algorithm Mathematical logic Theoretical computer science
764	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
765	LNCSA Fuzzy Rank-Based Late Fusion Method for Image Retrieval Add to Reading List Source URL: www.aviarampatzis.com Language: English - Date: 2012-03-11 14:11:53 Science Artificial intelligence Control engineering Logic in computer science Fuzzy control system Defuzzification Color layout descriptor Information retrieval Fuzzy set Fuzzy logic Logic Mathematical logic
766	GHM-accreditation guidelines Add to Reading List Source URL: www.ghm.de Language: English - Date: 2014-10-17 10:22:24 Accreditation Knowledge Epistemology Mathematical logic Publishing Mathematical proof
767	Microsoft Word - U006_eikos_language_system_description_v2.doc Add to Reading List Source URL: ucadia.s3.amazonaws.com Language: English - Date: 2009-07-17 01:52:31 Science Predicate logic Axiom Model theory Eikos Mathematical logic Function Claim Mereology Mathematics Logic Patent law
768	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
769	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic
770	STEM APPLICATIONS of NATURAL SELECTION Here are some items that provide great STEM "hooks": using genetics and cumulative natural selecti Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-07-30 13:55:01 Mathematics Algorithm Mathematical logic Theoretical computer science Evolutionary algorithms Mathematical optimization Complexity Genetic algorithm Science Applied mathematics Operations research